FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net

In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of Flexible Manufacturing System (FMS). After formalizing the semantics our model, illustrate how verifysome its properties (reachability, safety, boundedness, liveness, correctness, alive tokens, security) in P-Timed context. Next, validate relevance proposed with MATLAB simulation through specific FMS case study. Finally, use generalized truncated density function predict duration token’s sojourn (residence) timed place respect sequence states global workflow.